Lenguaje de especificación
- Lenguaje de especificación
- En el contexto de la ingeniería eléctrica, la computación y ramas afines, un lenguaje de especificación o lenguage de descripción es un lenguaje formal o semi-formal cuya función es construir modelos de los sistemas que se desea elaborar.
A diferencia de los lenguajes de programación, que son lenguajes interpretables o traducibles por una computadora hacia una representación ejecutable, los lenguajes de especificación no son por lo general utilizados para implementar el sistema, sino para especificarlo, conceptualizarlo o incluso validarlo, aunque también suelen ser legibles para un programa de computadora, que puede asistir en el proceso de validación.
Enciclopedia Universal.
2012.
Mira otros diccionarios:
Lenguaje de especificación — En el contexto de la ingeniería eléctrica, la computación y ramas afines, un lenguaje de especificación o lenguaje de descripción es un lenguaje formal o semi formal cuya función es construir modelos de los sistemas que se desea elaborar. A… … Wikipedia Español
Lenguaje de especificación OCL2.0 — OCL2.0 (Object Constraint Language 2.0) fue adoptado en octubre de 2003 por el grupo OMG como parte de UML 2.0. OCL es un lenguaje para la descripción formal de expresiones en los modelos UML. Sus expresiones pueden representar invariantes,… … Wikipedia Español
Lenguaje de especificación OCL2.0 — OCL2.0 (Object Constraint Language 2.0) fue adoptado en octubre de 2003 por el grupo OMG como parte de UML 2.0. OCL es un lenguaje para la descripción formal de expresiones en los modelos UML. Sus expresiones pueden representar invariantes,… … Enciclopedia Universal
SDL (lenguaje de especificación) — Este artículo o sección necesita referencias que aparezcan en una publicación acreditada, como revistas especializadas, monografías, prensa diaria o páginas de Internet fidedignas. Puedes añadirlas así o avisar … Wikipedia Español
SDL (lenguaje de especificación) — SDL es un lenguaje de especificación formal y visual normado por la ITU T en el estándar Z.100, así como el acrónimo de Specification and Description Language. El lenguaje SDL está diseñado para la especificación de sistemas complejos,… … Enciclopedia Universal
Lenguaje de programación Java — Saltar a navegación, búsqueda Java Paradigma: Orientado a objetos Apareció en: 1991 Diseñado por: Sun Microsystems Tipo de dato: Fuerte, Estático Implementacion … Wikipedia Español
Lenguaje Unificado de Modelado — Collage de diagramas UML. Lenguaje Unificado de Modelado (LUM o UML, por sus siglas en inglés, Unified Modeling Language) es el lenguaje de modelado de sistemas de software más conocido y utilizado en la actualidad; está respaldado por el OMG… … Wikipedia Español
Lenguaje formal — Esta imagen muestra la relación entre las cadenas de caracteres, las fórmulas bien formadas y los teoremas. En algunos sistemas formales, sin embargo, el conjunto de los teoremas coincide con el de las fórmulas bien formadas. En matemáticas,… … Wikipedia Español
Lenguaje informático — Un lenguaje informático es un lenguaje usado por, o asociado con, ordenadores. Muchas veces, este término es usado como sinónimo de lenguaje de programación, pero un lenguaje informático no tiene por qué ser un lenguaje de programación. Como… … Wikipedia Español
Lenguaje Z — Lenguaje Z. El Lenguaje Z es un lenguaje formal utilizado en Ingeniería del software para la especificación formal de un sistema de cómputo, como una fase previa al desarrollo del código de programa para el mismo en un lenguaje de programación.… … Wikipedia Español
